type foo = 42;
